- and finally A > B, which finishes the proof of Theorem 1
- Математика: (...) и окончательно, A \> B, что и заканчивает доказательство Теоремы 1
Универсальный англо-русский словарь. Академик.ру. 2011.
and finally A > B, which finishes the proof of Theorem 1
Смотреть что такое "and finally A > B, which finishes the proof of Theorem 1" в других словарях:
Nqthm — is a theorem prover sometimes referred to as the Boyer–Moore theorem prover. It was a precursor to ACL2.[1] Contents 1 History 2 Definitions 3 Theorem formulation … Wikipedia
n-body problem — This article is about the problem in classical mechanics. For the problem in quantum mechanics, see Many body problem. The n body problem is the problem of predicting the motion of a group of celestial objects that interact with each other… … Wikipedia
N-body problem — otheruses4|the problem in classical mechanics|the problem in quantum mechanics|Many body problem The n body problem is the problem of finding, given the initial positions, masses, and velocities of n bodies, their subsequent motions as determined … Wikipedia
Catalan number — For names of numbers in Catalan, see List of numbers in various languages#Occitano Romance. In combinatorial mathematics, the Catalan numbers form a sequence of natural numbers that occur in various counting problems, often involving recursively… … Wikipedia
